Merge CEDET upstream (rev. 8569)
authorDavid Engster <dengste@eml.cc>
Sat, 27 Jul 2013 21:13:56 +0000 (23:13 +0200)
committerDavid Engster <dengste@eml.cc>
Sat, 27 Jul 2013 21:13:56 +0000 (23:13 +0200)

Trivial merge